qle($r$; $s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$grp\_leq(qadd\_grp; $r$; $s$)